Modular multiscale model construction, distributed data sources, standards for reproducibility and archiving
نویسندگان
چکیده
منابع مشابه
Functional Specifications for Archiving Distributed Data
Modern data analysis tasks increasingly involve drawing information from a wide variety of distributed data sources, processing that data locally and analyzing the results. Consequently, computational biologists, cosmologists, financial analysts, systems adminstrators, distributed systems engineers and others are continually building new ad hoc systems for gathering data from distributed source...
متن کاملAlgebra for distributed data sources
The algebra for distributed data sources includes standard operations on sets which evolved from the relational and nested-relational algebras, the operations for querying the conceptual schemata, and the operations which allow for the manipulation of distributed objects. The algebra serves as the basis for the prototype implementation of the query optimizer for distributed data sources. The de...
متن کاملDistributed Modular Model Checking
Model checking is a formal method that veri es whether a nite state model of a system satis es a speci cation gi v enas a temporal logic formula. The most severe problem model checking suffer from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of computers so as to be able t...
متن کاملA Proposed Model for Evaluating Modular Education
Introduction: Educational evaluation is one of the main elements of educational systems. It also has a particular role in different educational standards such as ISO 10015. It seems that oral and written examinations are not enough for an effective evaluation of instructions. In order to accomplish an efficient educational evaluation, an evaluation model was designed for educational assessment ...
متن کاملInter-session reproducibility measures for high-throughput data sources
High-throughput biological assays such as micro-arrays and mass spectrometry (MS) have risen as potential clinical tools for disease detection. Multiple potential biomarkers can be rapidly and cheaply evaluated for a large number of patients. Typical research and evaluation studies in these fields have focused primarily on data that were generated from samples in a single data-generation sessio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The FASEB Journal
سال: 2009
ISSN: 0892-6638,1530-6860
DOI: 10.1096/fasebj.23.1_supplement.995.2